proof examples